// InferredExternC.h
